Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) First International Competition on Runtime Verification Rules, Benchmarks, Tools, and Final Results of CRV 2014 Ezio Bartocci1 , Yli`

Source URL: julien.signoles.free.fr

• Computing
• Software engineering
• Computer programming
• Functional languages
• Program analysis
• Data types
• Programming languages
• Object-oriented programming languages
• ANSI/ISO C Specification Language
• Runtime verification
• Benchmark
• KeY

UFO: Verification with Interpolants and Abstract Interpretation Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Compilers
• LLVM
• Carnegie Mellon University
• Unidentified flying object
• Mellon
• Carnegie
• Arie
• Software

Third International Workshop on Numerical Software Verification Formal verification of numerical programs: from C annotated programs to Coq proofs Sylvie Boldo INRIA Saclay - ˆIle-de-France

Source URL: www.lix.polytechnique.fr

• Theoretical computer science
• Formal methods
• French Institute for Research in Computer Science and Automation
• Computer science
• Verification
• Formal verification
• Software verification
• Mathematics
• Cognitive science

2014 IEEE International Conference on Software Testing, Verification, and Validation Workshops Functional Dependence and Equivalence Class Factors in Combinatorial Test Designs George B. Sherwood Testcover.com, LLC

Source URL: testcover.com

Jens Knoop, Uwe Zdun (Hrsg.): Software Engineering 2016, Lecture Notes in Informatics (LNI), Gesellschaft f¨ur Informatik, BonnEmpirical Software Metrics for Benchmarking of Verification Tools Yulia Demyanova T

Source URL: subs.emis.de

Jens Knoop, Uwe Zdun (Hrsg.): Software Engineering 2016, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik, BonnModel-based Security Verification for Evolving Systems Jan Jürjens 1,2, Sven Wenzel

Source URL: subs.emis.de

Machine-Generated Algorithms, Proofs and Software for the Batch Verification of Digital Signature Schemes Joseph A. Akinyele∗§ Matthew Green∗†

Source URL: sharps.org

Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method Santiago Zanella B´eguelin INRIA Sophia Antipolis, 2004 Route des Lucioles, 06902 Sophia Antipolis, France

Source URL: software.imdea.org

• Smart cards
• Computing
• Cryptography
• Security engineering
• Java Card
• GlobalPlatform
• Subscriber identity module
• Credit card
• Card reader
• Formal methods
• KeY
• Predicate transformer semantics

Software Verification Tools Assessment Study

Source URL: www.tc.faa.gov

A simple cloud sync protocol Norbert Preining Research Center for Software Verification Japan Advanced Institute of Science and Technology Workshop on CafeOBJ and Specification Verification

Source URL: www.preining.info